NotationDoesNotUseAllBinders.agda:7,1-1
NotationDoesNotUseAllBinders.agda:7,1: Malformed syntax declaration: syntax must use binding holes exactly once
<EOF><ERROR>
...
